1. Mathematics of Program Construction
پدیدآورنده: \ Ralf Hinze , Janis Voigtländer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامهنویسی -- ریاضیات -- کنگره ها ,برنامههای کامپیوتری -- ریاضیات -- کنگره ها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
2. Mathematics of program construction
پدیدآورنده: Jeremy Gibbons, Pablo Nogueira (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming-- Mathematics, Congresses,Computer programs-- Mathematics, Congresses
رده :
QA76
.
6
.
M6926
2012eb
